Free shipping on all orders! No minimum purchase required.
Computer Aided Verification
by Isil Dillig (Editor), Serdar Tasiran (Editor)
Runtime Verification
by Shaz Qadeer (Editor), Serdar Tasiran (Editor)
